Behavioural Subtyping and Property Preservation
نویسنده
چکیده
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an existing system design. When using a subclass which is a specialisation of a certain superclass, the question arises which of the superclass’ properties still hold for the subclass. We investigate this topic for three behavioural subtyping relations, which formalise the subtype supertype relationship among classes on the basis of process algebra correctness relations. According to the degree of change allowed by the subtyping relations, safety and liveness properties of the superclass are preserved up to different extents.
منابع مشابه
Behavioural Subtyping and Property Preservation for Objects Oriented Formalisms
Behavioural typing and subtyping has proved to be a very useful concept for the support of incremental reuse in the area of object-oriented (O-O) languages. With the emergence of formalisms integrating the O-O approach and concurrency, the question arises how behavioural subtyping may be supported by such formalisms. We present a formal framework for the definition of behavioural subtyping in O...
متن کاملA Formal Framework for Behavioural Reuse of Agent Components: Application to Interaction Protocols
This paper focuses on the reuse of agent components in open multi-agent systems, and argues that the traditional approaches used in software multiagent systems are limited and not rigorous. On this basis, we propose a formal framework for the definition of behavioural reuse in agent components systems. This framework is based upon the preorder relations which are considered in the study of conc...
متن کاملBehavioural Subtyping in Name Passing Synchronisation Trees
We present a general theory of behavioural subtyping for name passing interactive behaviours using early name-passing synchronisation trees. In this theory types are collections of name passing synchronisation trees organised by typed variants of process-theoretic operations, and a simple behavioural notion of subtyping speciies when one type denotes more constrained behaviours than another, oo...
متن کاملContextualization of Behavioral Substitutability and Refinement for Role Components in MAS
In this paper we focus on a new approach for the definition of context-based behavioural substitutability and refinement of roles in MAS, and provide a formal framework for modeling roles together with their composition. First, we introduce two flexible roles compatibility relations depending on the context of use (environment). The proposed compatibility relations take into account the propert...
متن کاملPatterns and Rules for Behavioural Subtyping
Subtyping relations for object-oriented formalisms describe relationships between superand subclasses which satisfy the substitutability requirement imposed on types and their subtypes. Behavioural subtyping is concerned with subtypes for active classes with an explicit dynamic behaviour, specifiable for instance by object-oriented formal methods combining state-based with behavioural formalism...
متن کامل